Greasemonkey User script Setting